Modelling MAC-Layer Communications in Wireless Systems
نویسندگان
چکیده
منابع مشابه
Modelling MAC-Layer Communications in Wireless Systems
We present a timed process calculus for modelling wireless networks in which individualstations broadcast and receive messages; moreover the broadcasts are subject to collisions. Basedon a reduction semantics for the calculus we define a contextual equivalence to compare the externalbehaviour of such wireless networks. Further, we construct an extensional LTS (labelled transition<lb...
متن کاملModelling MAC - layer communications in wireless systems ( Extended abstract )
We present a timed broadcast process calculus for wireless networks at the MAC-sublayer where time-dependent communications are exposed to collisions. We define a reduction semantics for our calculus which leads to a contextual equivalence for comparing the external behaviour of wireless networks. Further, we construct an extensional LTS (labelled transition system) which models the activities ...
متن کاملA MAC layer protocol for Wireless Communication in Embedded Systems
The design of wireless embedded systems for real-time applications requires a careful management of timing and energy requirements. This paper describes a wireless communication protocol that can guarantee both message deadlines and system lifetime by properly allocating the network bandwidth to each node. The protocol allows multi-hop wireless communication under different network topologies. ...
متن کاملModeling MAC Layer for Powerline Communications Networks
The usage of electrical power distribution networks for voice and data transmission, called Powerline Communications, becomes nowadays more and more attractive, particularly in the telecommunication access area. The most important reasons for that are the deregulation of the telecommunication market and a fact that the access networks are still property of former monopolistic companies. In this...
متن کاملMAC and PHY-Layer Network Coding for Applications in Wireless Communications Networks
Network coding (NC) is a promising technique recently proposed to improve network performance in terms of maximum throughput, minimum delivery delay, and energy consumption. The original proposal highlighted the advantages of NC for multicast communications in wire-line networks. Recently, network coding has been considered as an efficient approach to improve performance in wireless networks, m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2015
ISSN: 1860-5974
DOI: 10.2168/lmcs-11(1:18)2015